定义

只要父类能出现的地方子类就可以出现，而且替换为子类也不会产生任何错误或异常，使用者可能根本就不需要知道是父类还是子类。

里氏替换原则的核心原理是抽象，抽象又依赖于继承这个特性。